type A = string => boolean => number;
